]> dgit.raspbian.org Git - gnome-shell.git/commit
theme: use a smaller border-radius for top bar
authorJakub Steiner <jimmac@gmail.com>
Wed, 21 Mar 2012 14:59:43 +0000 (15:59 +0100)
committerJakub Steiner <jimmac@gmail.com>
Mon, 7 May 2012 08:36:28 +0000 (10:36 +0200)
commit25ee41f34435e3f36804de4e7cdfaa1d5f459619
treeaa2c18e50f9d647f772fc165db68e20c5104a723
parent5436634829e997f8e6c2e3967241e587f1ce10ef
theme: use a smaller border-radius for top bar

- plays better with window decorations and maximized windows
- https://bugzilla.gnome.org/show_bug.cgi?id=672430
data/theme/gnome-shell.css
data/theme/panel-button-border.svg